right residue class

右可剩余类